Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182)
نویسندگان
چکیده
Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141) Bernadette Charron-Bost, Stepahn Merz, Andrey Rybalchenko, and Josef Widder 1 Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142) Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen 17 Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151) Stephen Kobourov, Martin Nöllenburg, and Monique Teillaud . . . . . . . . . . . . . . . . . . . . 34 Interface of Computation, Game Theory, and Economics (Dagstuhl Seminar 13161) Sergiu Hart, Éva Tardos, and Bernhard von Stengel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Pointer Analysis (Dagstuhl Seminar 13162) Ondrej Lhotak, Yannis Smaragdakis, and Manu Sridharan . . . . . . . . . . . . . . . . . . . . . . . 91 Customizing Service Platforms (Dagstuhl Seminar 13171) Luciano Baresi, Andreas Rummler, and Klaus Schmid . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 VaToMAS – Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181) Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff . . . . . . . . . . . . . . . . . . 151 Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182) Tony Clark, Robert B. France, Martin Gogolla, and Bran V. Selic . . . . . . . . . . . . . . . 188
منابع مشابه
Meta-Modeling Model-Based Engineering Tools
Model-based engineering (MBE) is a software development approach in which abstraction via modeling is used as the primary mechanism for managing the complexity of software-based systems. An effective approach to software development must be supported by effective technologies (i.e., languages, methods, processes, tools). The wide range of development tasks that effective MBE approaches must sup...
متن کاملModel-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041)
This report documents the program and the outcomes of Dagstuhl Seminar 15041 “Model-driven Algorithms and Architectures for Self-Aware Computing Systems”. The design of self-aware computing systems calls for an integrated interdisciplinary approach building on results from multiple areas of computer science and engineering, including software and systems engineering, systems modeling, simulatio...
متن کاملConstraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201)
Organic Computing – Design of Self-Organizing Systems (Dagstuhl Seminar 11181) Kirstie Bellman, Andreas Herkersdorf, and Michael G. Hinchey . . . . . . . . . . . . . . . . . . 1 Exploiting graph structure to cope with hard problems (Dagstuhl Seminar 11182) Andreas Brandstädt, Martin Charles Golumbic, Pinar Heggernes, and Ross McConnell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملSLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342)
This report documents the program and the outcomes of Dagstuhl Seminar 17342 "SLEBOK: The Software Language Engineering Body of Knowledge". Software Language Engineering (SLE) has emerged as a scientific field, with a strong motivation to connect and integrate different research disciplines such as compiler construction, reverse engineering, software transformation, model-driven engineering, an...
متن کاملMultidisciplinary Approaches to Multivalued Data: Modeling, Visualization, Analysis (Dagstuhl Seminar 16142)
This report documents the program and the outcomes of Dagstuhl Seminar 16142, “Multidisciplinary Approaches to Multivalued Data: Modelling, Visualization, Analysis”, which was attended by 27 international researchers, both junior and senior. Modelling multivalued data using tensors and higher-order descriptors has become common practice in neuroscience, engineering, and medicine. Novel tools fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Dagstuhl Reports
دوره 3 شماره
صفحات -
تاریخ انتشار 2013